factorisation of polynomial